Nuprl Definition : actof 0,22
act(k) == outr(k) 
latex

Definitionsoutr(x)
FDL editor aliasesact

origin